<html>
<head><meta charset="utf-8"><title>ICE on nightly · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html">ICE on nightly</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="204700868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204700868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204700868">(Jul 22 2020 at 18:03)</a>:</h4>
<p>Nightly builds for Chalk are currently triggering an ICE, I'm looking into it</p>



<a name="204701034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204701034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204701034">(Jul 22 2020 at 18:04)</a>:</h4>
<p>The error is <code>type parameter </code>S/#2<code> (S/2) out of range when substituting ...</code>, triggering in one of the closures of <code>WfSolver::verify_adt_decl</code></p>



<a name="204703269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204703269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204703269">(Jul 22 2020 at 18:21)</a>:</h4>
<p>(In the meantime, I filed a PR to at least allow CI to continue even if nightly fails <a href="https://github.com/rust-lang-nursery/chalk/issues/580">chalk#580</a>)</p>



<a name="204705317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204705317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204705317">(Jul 22 2020 at 18:37)</a>:</h4>
<p>Huh, I was wondering why I couldn't reproduce it, but <code>cargo check</code> succeeds, and it only triggers the ICE on <code>cargo build</code></p>



<a name="204707904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204707904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204707904">(Jul 22 2020 at 18:57)</a>:</h4>
<p>(if it's related to polymorphization, try <code>-Zpolymorphize=off</code>until the PR fixing that issue lands)</p>



<a name="204708666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204708666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204708666">(Jul 22 2020 at 19:02)</a>:</h4>
<p>A large part of the stack trace is indeed in <code>monomorphize/collector.rs</code></p>



<a name="204708856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204708856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204708856">(Jul 22 2020 at 19:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span>  Can I pass that flag using cargo? Using <code>RUSTFLAGS="-Zpolymorphize=off"</code> gives me <code>error: unknown debugging option: polymorphize</code></p>



<a name="204708917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204708917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204708917">(Jul 22 2020 at 19:04)</a>:</h4>
<p>that's weird, you should be able to</p>



<a name="204708998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204708998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204708998">(Jul 22 2020 at 19:05)</a>:</h4>
<p>(<a href="https://github.com/rust-lang/rust/pull/74633">https://github.com/rust-lang/rust/pull/74633</a> is the PR which will turn it back off by default)</p>



<a name="204709137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204709137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204709137">(Jul 22 2020 at 19:06)</a>:</h4>
<p>it should only fail like so on the latest nightly, where the polymorphize option should be recognized</p>



<a name="204709176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204709176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204709176">(Jul 22 2020 at 19:06)</a>:</h4>
<p>Yup, started failing today</p>



<a name="204709251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204709251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204709251">(Jul 22 2020 at 19:07)</a>:</h4>
<p>it should also be present in the <code>-Z help</code> output</p>



<a name="204709370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204709370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204709370">(Jul 22 2020 at 19:08)</a>:</h4>
<p>(otherwise maybe a rustup override somewhere is picking an older nightly ?)</p>



<a name="204709773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204709773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204709773">(Jul 22 2020 at 19:12)</a>:</h4>
<p>Hmm yeah, looks like I used an older nightly somewhere</p>



<a name="204709852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204709852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204709852">(Jul 22 2020 at 19:13)</a>:</h4>
<p>but if you used an older nightly... how would it be the polymorphization issue?</p>



<a name="204709989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204709989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204709989">(Jul 22 2020 at 19:14)</a>:</h4>
<p>I was mixing up some commands, that's why</p>



<a name="204710055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204710055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204710055">(Jul 22 2020 at 19:15)</a>:</h4>
<p>Detective Shep on the case :p (ah you're just "jake" here)</p>



<a name="204710326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204710326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204710326">(Jul 22 2020 at 19:17)</a>:</h4>
<p>Just checked with a local rustc build of <a href="https://github.com/rust-lang/rust/issues/74633">#74633</a>, and that does indeed fix the Chalk ICE <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<a name="204711132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204711132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204711132">(Jul 22 2020 at 19:25)</a>:</h4>
<p>Interesting how the error was 4 closures deep in a function returning <code>Result&lt;()&gt;</code>, and only triggered when the function was actually called somewhere</p>



<a name="204711216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204711216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204711216">(Jul 22 2020 at 19:26)</a>:</h4>
<p>I wonder if this is worth a bug report</p>



<a name="204711251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204711251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204711251">(Jul 22 2020 at 19:26)</a>:</h4>
<p>the bug is likely a manifestation of <a href="https://github.com/rust-lang/rust/issues/74636">https://github.com/rust-lang/rust/issues/74636</a></p>



<a name="204711453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/ICE%20on%20nightly/near/204711453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/ICE.20on.20nightly.html#204711453">(Jul 22 2020 at 19:28)</a>:</h4>
<p>"closures that inherit unused parameters" sounds like what's happening here, yeah</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>